| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Learning Theory | Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 515276 | ||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 9 | 515396 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 515331 | ||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 514976 | ||
| Effiziente Algorithmen - Übung | Tutorium | 521741 | Mi 16:30-18:00 AH II (2350|111) (×15) Do 08:30-10:00 5052 (2356|052) (×15) Do 10:30-12:00 5056 (2356|056) (×15) Do 12:30-14:00 5052 (2356|052) (×15) Do 12:30-14:00 5054 (2356|054) (×15) Do 16:30-18:00 5052 (2356|052) (×15) | |||
| Effiziente Algorithmen | Vorlesung | 521740 | Mo 16:30-18:00 AH I (2350|028) (×12) Mo 16:30-18:00 AH V (2356|050) (×1) Di 16:30-18:00 AH V (2356|050) (×13) | |||
| Linear Optimization and Network Algorithms | Prüfung Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 516686 | ||
| Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | 513420 | Mo 10:30-12:00 II (1010|201) (×1) Mo 10:30-12:00 SeMath (1950|008) (×14) Fr 12:30-14:00 H10 (1385|217) (×1) Fr 12:30-14:00 SeMath (1950|008) (×13) | |||
| Lineare Optimierung und Netzwerkalgorithmen | Übung | 513071 | Mo 16:30-18:00 SeMath (1950|008) (×14) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 517305 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 517304 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 515392 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 518530 | ||
| Introduction to Model Checking | Übung | 521372 | Mo 12:30-14:00 5056 (2356|056) (×1) Di 10:45-13:15 5056 (2356|056) (×1) Do 08:30-10:00 AH III (2350|314.1) (×10) Do 09:55-12:30 5056 (2356|056) (×1) | |||
| Introduction to Model Checking | Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×12) Do 10:30-12:00 AH III (2350|314.1) (×14) | |||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 515647 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 515602 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 511645 | Mo 08:30-10:00 AH I (2350|028) (×13) Mo 16:30-17:15 5056 (2356|056) (×14) Di 08:30-10:00 AH V (2356|050) (×13) |